Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
321	Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-09-19 03:03:42 Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics
322	First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-02 16:51:41 Logical syntax Automated theorem proving Formal languages Formal methods Vampire Resolution Conjunctive normal form E theorem prover First-order logic Logic Mathematics Mathematical logic
323	Yet Another Theorem Prover in Distress Thierry Lecomte ClearSy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Software Formal methods Theorem prover Automated theorem proving Theoretical computer science
324	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
325	The Rich Model Toolkit EU COST Action IC0901 Paul Jackson University of Edinburgh AI4FM Kick-Off Meeting Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Theoretical computer science Artificial intelligence Automated reasoning Reasoning Mathematics Computer science Logic in computer science Applied mathematics Automated theorem proving
326	Reasoned Modelling: Combining Proof & Modelling Patterns Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Gudmund Grov Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Rippling Mathematical proof Knowledge Epistemology Mathematics Automated theorem proving Heuristics
327	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-07-05 14:23:02 Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics Mathematical logic Logic
328	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
329	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
330	Curriculum Vitae Laura Ildik´o Kov´acs A SSOCIATE P ROFESSOR Department of Computer Science and Engineering Chalmers University of TechnologyGothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:06:43 Logic in computer science Automated theorem proving Formal methods Artificial intelligence Automated reasoning Computer science Formal verification Model checking Symbolic computation Theoretical computer science Applied mathematics Mathematics

UPDATE